#include <stdlib.h>
#include<sys/time.h>


int dbd_do_compile_timed(char * compiler_line);
